#include <xen/event.h>
#include <xen/hypercall.h>
#include <xen/guest_access.h>
-#include <xen/lib.h>
-#include <xen/sched.h>
#include <compat/callback.h>
#include <compat/nmi.h>
-#include <asm/current.h>
-#include <asm/nmi.h>
#include <asm/shared.h>
-#include <asm/traps.h>
#include <public/callback.h>
*/
#include <xen/err.h>
-#include <xen/errno.h>
-#include <xen/event.h>
-#include <xen/guest_access.h>
-#include <xen/iocap.h>
-#include <xen/spinlock.h>
-#include <xen/trace.h>
-
-#include <asm/apic.h>
-#include <asm/debugreg.h>
-#include <asm/hpet.h>
-#include <asm/hypercall.h>
-#include <asm/mc146818rtc.h>
-#include <asm/p2m.h>
-#include <asm/pv/traps.h>
-#include <asm/shared.h>
-#include <asm/traps.h>
-#include <asm/x86_emulate.h>
-
-#include <xsm/xsm.h>
#include "emulate.h"
* along with this program; If not, see <http://www.gnu.org/licenses/>.
*/
-#include <xen/errno.h>
-#include <xen/event.h>
-#include <xen/guest_access.h>
-#include <xen/iocap.h>
-#include <xen/spinlock.h>
#include <xen/trace.h>
-#include <asm/apic.h>
-#include <asm/debugreg.h>
-#include <asm/hpet.h>
-#include <asm/hypercall.h>
-#include <asm/mc146818rtc.h>
-#include <asm/p2m.h>
-#include <asm/pv/traps.h>
-#include <asm/shared.h>
-#include <asm/traps.h>
-#include <asm/x86_emulate.h>
-
-#include <xsm/xsm.h>
-
#include "emulate.h"
static int emulate_forced_invalid_op(struct cpu_user_regs *regs)
* along with this program; If not, see <http://www.gnu.org/licenses/>.
*/
-#include <xen/errno.h>
+#include <xen/domain_page.h>
#include <xen/event.h>
#include <xen/guest_access.h>
#include <xen/iocap.h>
-#include <xen/spinlock.h>
-#include <xen/trace.h>
#include <asm/amd.h>
-#include <asm/apic.h>
#include <asm/debugreg.h>
#include <asm/hpet.h>
#include <asm/hypercall.h>
#include <asm/mc146818rtc.h>
-#include <asm/p2m.h>
#include <asm/pv/domain.h>
-#include <asm/pv/traps.h>
#include <asm/shared.h>
-#include <asm/traps.h>
-#include <asm/x86_emulate.h>
#include <xsm/xsm.h>
#ifndef __PV_EMULATE_H__
#define __PV_EMULATE_H__
+#include <xen/sched.h>
+
#include <asm/processor.h>
#include <asm/x86_emulate.h>
* along with this program; If not, see <http://www.gnu.org/licenses/>.
*/
-#include <xen/guest_access.h>
-#include <xen/rangeset.h>
-#include <xen/sched.h>
#include <xen/trace.h>
-
-#include <asm/domain.h>
-#include <asm/mm.h>
-#include <asm/pci.h>
-#include <asm/pv/mm.h>
#include <asm/shadow.h>
#include "emulate.h"
#include <xen/iocap.h>
#include <xen/param.h>
#include <xen/shutdown.h>
-#include <xen/types.h>
#include <xen/consoled.h>
#include <xen/pv_console.h>
-#include <asm/apic.h>
#include <asm/dom0_build.h>
#include <asm/guest.h>
-#include <asm/pv/mm.h>
#include <public/arch-x86/cpuid.h>
#include <public/hvm/params.h>
}
/* function prototypes */
+struct acpi_table_header;
int acpi_parse_mcfg(struct acpi_table_header *header);
int pci_mmcfg_reserved(uint64_t address, unsigned int segment,
unsigned int start_bus, unsigned int end_bus,
#ifndef _XEN_SHADOW_H
#define _XEN_SHADOW_H
-#include <public/domctl.h>
#include <xen/sched.h>
#include <xen/perfc.h>
#include <xen/domain_page.h>
#include <asm/p2m.h>
#include <asm/spec_ctrl.h>
+#include <public/domctl.h>
+
/*****************************************************************************
* Macros to tell which shadow paging mode a domain is in*/
#define tb_init_done false
#endif
+#include <xen/types.h>
#include <public/sysctl.h>
#include <public/trace.h>
#include <asm/trace.h>